
print(7 | undefined);
print(undefined | 7);
